Modeling families of public licensing services: a case study

Software Product Lines (SPLs) enable the development of families of software systems by taking advantage of the commonalities and variabilities of the members of the family. Despite its many advantages, it is an unexplored area in the electronic government domain, an area with evident families of services, and with high demands to develop faster and better services to citizens and businesses while reducing costs. This paper discusses the need of formal methods to model SPLs for such domain. It presents a case study of a family of public licensing services modeled in UPPAAL and based on Featured Timed Automata, an extension of Timed Automata to model realtime SPLs. It analyzes the suitability of FTA to model distributed families of services, while provides hints on a possible enrichment of FTA to better support modularization and compositionality of services.This work is part of the project SMARTEGOV: Harnessing EGOV for Smart Governance (Foundations, Methods, Tools) / NORTE-01-0145-FEDER-000037, supported by Norte Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, through the European Regional Development Fund (ERDF). The first author is further supported by FCT under grant PD/BD/52238/2013

Survival of bacteriocinogenic cultures of lactic acid bacteria on organic substrate

Food borne pathogens can be introduced into the soil through various sources of contamination the use of animal faecal matter as fertiliser irrigation water, poor or naturally occurring agricultural practices 1 Thus, soil is a potential source of contamination and transmission to the food produced here Foodborne pathogens can cause foodborne illness, especially through consumption of these ready to eat products 2 Scientific literature has highlighted the ability of lactic acid bacteria ( e g Pediococcus acidilactici HA 6111 2 Lactiplantibacillus plantarum R 23 and Pediococcus pentosaceus DT 016 to produce antimicrobial compounds against pathogens present in various foods 3 In order to reduce the potential contamination of these foods, the use of LABs has emerged as a potential strategy for biocontrol of foodborne pathogens 4.info:eu-repo/semantics/publishedVersio

Behavior of foodborne pathogens in soils incorporating lactic acid bacteria

Foodborne pathogens can be introduced into the soil through various sources of contamination : the use of animal faecal matter as fertilizer, irrigation water, poor agricultural practices or naturally occurring. The ability of these microorganisms to survive in manure used as fertilizer and potentially in the soil is a threat to the safety of agricultural products. [1] Subsequently, vegetables and fruits grown on these soils can be come a source of contamination. This can lead to serious health problems for consumers, especially as they are ready-to-eat products.[2] In an attempt to minimize these problems, some studies in corporating lactic acid bacteria (LAB)-producing bacteriocins against pathogens have been reported.info:eu-repo/semantics/publishedVersio

Potential of bacteriocinogenic cultures on the biopreservation of soils

info:eu-repo/semantics/publishedVersio

Concepções da profissionalidade na fase de consolidação da carreira docente em matemática

O artigo apresenta os resultados de uma pesquisa que teve como principal objetivo analisar as concepções que o professor de matemática, inserido na faixa dos quatro aos dez anos de carreira, tem sobre sua profissionalidade. A investigação de natureza qualitativa foi desenvolvida com quatro professores de matemática que lecionam na educação básica e que se encontravam no período de profissão estabelecido para o estudo. Os dados obtidos foram coletados a partir de entrevistas semiestruturadas realizadas, individualmente, com os participantes, após a caracterização do grupo feita com a aplicação de um questionário. Na análise dos dados, selecionamos as falas que sugeriram possíveis entendimentos sobre a temática e os seus aspectos significativos, que serviram para delinear três eixos principais para a discussão. As concepções dos professores participantes indicam uma estabilidade na profissão. Eles se encontram mais confiantes e seguros de suas ações pedagógicas. Pensando nos alunos, eles procuram realizar uma aula interessante, atrativa e motivadora, mesmo com a consciência de que existem dificuldades, seja no processo ensino aprendizagem, seja na representação e valorização docente, citando principalmente, o baixo salário como fator preponderante

Towards a coordination model for interactive systems

When modelling complex interactive systems, traditional interactor-based approaches suffer from lack of expressiveness regarding the composition of the different interactors present in the user interface model into a coherent system. In this paper we investigate an alternative approach to the composition of interactors for the specification of complex interactive systems which is based on the coordination paradigm. We layout the fundations for the work and present an illustrative example. Lines for future work are identifiedFundação para a Ciência e a Tecnologia (FCT) Fundo Europeu de Desenvolvimento Regional (FEDER

Configurations of web services

The quest for sound foundations for the orchestration of web services is still open. To a great extent its relevance comes from the possibility of defining formal semantics for new language standards (like BPEL4WS or WS-CDL) in this emerging and challenging technology. As a step in that direction, this paper resorts to a notion of configuration, developed by the authors in the context of a Reo-like exogenous coordination model for software components, to formally express service orchestration. The latter is regarded as involving both the architectural assembly of independent services and the description of their interactions.Fundação para a Ciência e a Tecnologia (FCT) - PURe Project, contract POSI/ICHS/44304/2002

A ausência de efetivação de direitos fundamentais às Vítimas de Criminalidade e Abuso de Poder: Estudo de Caso – Vítimas de “Grupo de Extermínio no Ceará”

 Resumo: O presente ensaio procura contextualizar os aspectos teóricos que envolvem direitos fundamentais e sua efetivação para as vítimas de criminalidade e abuso de poder. O estudo adota como referência as providências adotadas por órgãos governamentais de defesa dos direitos humanos em relação a constatações de grave violações de direitos humanos no Estado do Ceará, supostamente praticadas por autoridades policiais que compunham grupo de extermínio. A partir da análise de documentos públicos e da pesquisa qualitativa sustentou-se a hipótese que as providências adotadas para o caso analisado tiveram ênfase na perseguição penal, sem maiores preocupações com os direitos fundamentais das vítimas identificadas. Visualizou-se assim que a efetivação dos direitos fundamentais das vítimas de criminalidade depende de ações positivas dos órgãos públicos e de mecanismos que realmente assegurem o acesso à Justiça

Levels of the available phosphorus and particle size of dicalcium phosphate in brown egg layer hens diet from 24 to 58 weeks of age

Um experimento foi conduzido para verificar o efeito de níveis de fósforo e do tamanho de partícula do fosfato bicálcico na dieta de poedeiras comerciais na fase de produção. Utilizou-se um delineamento experimental inteiramente casualizado, em esquema fatorial 2 × 3 com dois tamanhos de partícula do fosfato (fino e granulado) e três níveis de fósforo disponível (0,28; 0,38 e 0,48%), totalizando seis tratamentos, cada um com cinco repetições de oito aves. As dietas experimentais foram isoproteicas, isocalóricas e isocálcicas. O consumo de ração, a produção de ovos, a massa de ovos, a conversão alimentar, a porcentagem de casca, a gravidade específica e os teores de cinzas, cálcio, fósforo e magnésio nos ossos não foram afetados pelas dietas. Dietas contendo fosfato bicálcico (fino ou granulado) e 0,28% de fósforo disponível atendem às exigências de fósforo de galinhas poedeiras semipesadas de 24 a 58 semanas de idade.An experiment was carried out to verify the effect of levels of phosphorus and the particle size of dicalcium phosphate on diets for brown egg layer hens during production phase. A complete randomized experimental design as a 2 × 3 factorial arrangement, with two sizes of particles of phosphate (fine and granulate) and three levels of available phosphorus (0.28, 0.38 and 0.48%), totalizing six treatements with five replications of eight birds each, was used. The experimental diets were isoproteic, isocaloric, and isocalcium. Feed intake, egg production, egg mass, feed conversion, shell percentage, egg specific gravity, ash, calcium, phosphorus and magnesium levels in the bones were not affected by the diets. Diets with dicalcium phosphate (fine or granulated) and 0.28% available phosphorus level meet the phosphorus requirements in brown egg layer hens from 24 to 58 weeks of age